Optimal. Leaf size=107 \[ -\frac{i (a-i a \tan (c+d x))^8}{8 a^9 d}+\frac{6 i (a-i a \tan (c+d x))^7}{7 a^8 d}-\frac{2 i (a-i a \tan (c+d x))^6}{a^7 d}+\frac{8 i (a-i a \tan (c+d x))^5}{5 a^6 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0695333, antiderivative size = 107, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.083, Rules used = {3487, 43} \[ -\frac{i (a-i a \tan (c+d x))^8}{8 a^9 d}+\frac{6 i (a-i a \tan (c+d x))^7}{7 a^8 d}-\frac{2 i (a-i a \tan (c+d x))^6}{a^7 d}+\frac{8 i (a-i a \tan (c+d x))^5}{5 a^6 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3487
Rule 43
Rubi steps
\begin{align*} \int \frac{\sec ^{10}(c+d x)}{a+i a \tan (c+d x)} \, dx &=-\frac{i \operatorname{Subst}\left (\int (a-x)^4 (a+x)^3 \, dx,x,i a \tan (c+d x)\right )}{a^9 d}\\ &=-\frac{i \operatorname{Subst}\left (\int \left (8 a^3 (a-x)^4-12 a^2 (a-x)^5+6 a (a-x)^6-(a-x)^7\right ) \, dx,x,i a \tan (c+d x)\right )}{a^9 d}\\ &=\frac{8 i (a-i a \tan (c+d x))^5}{5 a^6 d}-\frac{2 i (a-i a \tan (c+d x))^6}{a^7 d}+\frac{6 i (a-i a \tan (c+d x))^7}{7 a^8 d}-\frac{i (a-i a \tan (c+d x))^8}{8 a^9 d}\\ \end{align*}
Mathematica [A] time = 0.330652, size = 71, normalized size = 0.66 \[ \frac{\sec (c) \sec ^8(c+d x) (56 \sin (c+2 d x)+28 \sin (3 c+4 d x)+8 \sin (5 c+6 d x)+\sin (7 c+8 d x)-35 \sin (c)-35 i \cos (c))}{280 a d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.063, size = 87, normalized size = 0.8 \begin{align*}{\frac{1}{ad} \left ( \tan \left ( dx+c \right ) -{\frac{i}{8}} \left ( \tan \left ( dx+c \right ) \right ) ^{8}+{\frac{ \left ( \tan \left ( dx+c \right ) \right ) ^{7}}{7}}-{\frac{i}{2}} \left ( \tan \left ( dx+c \right ) \right ) ^{6}+{\frac{3\, \left ( \tan \left ( dx+c \right ) \right ) ^{5}}{5}}-{\frac{3\,i}{4}} \left ( \tan \left ( dx+c \right ) \right ) ^{4}+ \left ( \tan \left ( dx+c \right ) \right ) ^{3}-{\frac{i}{2}} \left ( \tan \left ( dx+c \right ) \right ) ^{2} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.0558, size = 117, normalized size = 1.09 \begin{align*} \frac{-105 i \, \tan \left (d x + c\right )^{8} + 120 \, \tan \left (d x + c\right )^{7} - 420 i \, \tan \left (d x + c\right )^{6} + 504 \, \tan \left (d x + c\right )^{5} - 630 i \, \tan \left (d x + c\right )^{4} + 840 \, \tan \left (d x + c\right )^{3} - 420 i \, \tan \left (d x + c\right )^{2} + 840 \, \tan \left (d x + c\right )}{840 \, a d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.69649, size = 458, normalized size = 4.28 \begin{align*} \frac{1792 i \, e^{\left (6 i \, d x + 6 i \, c\right )} + 896 i \, e^{\left (4 i \, d x + 4 i \, c\right )} + 256 i \, e^{\left (2 i \, d x + 2 i \, c\right )} + 32 i}{35 \,{\left (a d e^{\left (16 i \, d x + 16 i \, c\right )} + 8 \, a d e^{\left (14 i \, d x + 14 i \, c\right )} + 28 \, a d e^{\left (12 i \, d x + 12 i \, c\right )} + 56 \, a d e^{\left (10 i \, d x + 10 i \, c\right )} + 70 \, a d e^{\left (8 i \, d x + 8 i \, c\right )} + 56 \, a d e^{\left (6 i \, d x + 6 i \, c\right )} + 28 \, a d e^{\left (4 i \, d x + 4 i \, c\right )} + 8 \, a d e^{\left (2 i \, d x + 2 i \, c\right )} + a d\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: AttributeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.16582, size = 117, normalized size = 1.09 \begin{align*} -\frac{35 i \, \tan \left (d x + c\right )^{8} - 40 \, \tan \left (d x + c\right )^{7} + 140 i \, \tan \left (d x + c\right )^{6} - 168 \, \tan \left (d x + c\right )^{5} + 210 i \, \tan \left (d x + c\right )^{4} - 280 \, \tan \left (d x + c\right )^{3} + 140 i \, \tan \left (d x + c\right )^{2} - 280 \, \tan \left (d x + c\right )}{280 \, a d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]